//A quick test that the Yield syscall doesn't cause nachos to crash
#include "syscall.h"

int
main(int argc, char** argv) {
    Yield();
    Exit(0);
    /* not reached */
}
